Biblioteca do ISEL

Your search returned 3 results. Subscribe to this search

|
Mathematical logic : a course with exercices : part II: recursion theory, Gödel's theorems, set theory, model theory / René Cori, Daniel Lascar ; trad. Donald H. PelletierPublication: Oxford : University Press, 2001Description: XX, 331 p. ; 24 cm.Availability: Items available for loan: [COR. 517] (1).

Introduction to mathematical logic / Elliott MendelsonPublication: Boca Raton : Chapman & Hall/CRC, 2001Description: X, 440 p. ; 25 cm.Availability: Items available for loan: [MEN. 510.6] (1).

Great ideas of modern mathematics : their nature and use / Jagjit SinghPublication: New York : Dover, 1959Description: VIII, 312 p. : il. ; 21 cm.Availability: Items available for loan: [SIN. 51] (1).

Informática-ISEL